Programming language theory - PDFSEARCH.IO - Document Search Engine

Programming language theory
Results: 4158

#	Item
371	[Pell, 1993] Barney Pell. Strategy Generation and Evaluation for Meta GamePlaying. PhD thesis, Computer Laboratory, University of Cambridge, 1993. Forthcoming. [Russell and Wefald, 1992] Stuart Russell and Eric Wefald. D Add to Reading List Source URL: www.barneypell.com Language: English - Date: 2009-12-15 09:27:32 Computing Abstract interpretation Prolog Model theory Patrick Cousot Logic programming Interpretation Abstract object Game theory Software engineering Programming language theory Abstraction
372	Themis List of Values (Auto Reduction) List of Values The List of Values (LOV) provides users with an easy-to-use data entry method that increases accuracy and productivity. If you invoke a LOV and it contains a very lon Add to Reading List Source URL: themis.unimelb.edu.au Language: English - Date: 2014-01-16 23:01:22 Programming language theory C Cross-platform software AS/400 Control Language Data type Window Computing Software engineering Procedural programming languages
373	Using Genetic Programming To Evolve an Algorithm For Factoring Numbers Jenny Rose Finkel Computer Science Department Stanford University Stanford, CA 94305 Add to Reading List Source URL: www.genetic-programming.org Language: English - Date: 2006-11-17 21:29:07 Data types Operations research Computer arithmetic Floating point Function Mathematical optimization Type system Lisp Control flow Programming language theory Software engineering Computing
374	A Veried Compiler for Multithreaded PreScheme 1 William M. Farmer Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:41 Logic in computer science Programming language semantics PreScheme Scheme programming language Denotational semantics Operational semantics System programming language Compiler Programming language Software engineering Computing Programming language theory
375	The original English text of an interview with the Russian news organization CNEWS: C++ future Soon we will have a new standard for C++. What is going to change in this programming language? What new features will it ha Add to Reading List Source URL: www.stroustrup.com Language: English - Date: 2012-10-03 14:24:38 Cross-platform software C++ Procedural programming languages Generic programming Type theory C Programming language Type safety Ada Computing Software engineering Computer programming
376	Languages vs. ω-Languages in Regular Infinite Games Namit Chaturvedi, Jörg Olschewski, Wolfgang Thomas DLT 2011, Milano July 19, 2011 Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2012-05-29 10:56:44 Theoretical computer science Omega language Theory of computation Determinacy Infinite loop Constructible universe Ordinal number Formal languages Computer programming Mathematics
377	The Revised R6RS Status Report Marc Feeley ´ Universite´ de Montreal Add to Reading List Source URL: schemers.org Language: English - Date: 2004-10-20 19:21:36 Functional languages Scheme Scheme programming language Racket Lisp programming language Hygienic macro Lisp Continuation Matthew Flatt Software engineering Programming language theory Computing
378	Do Values Grow on Trees? Expression Integrity in Functional Programming Guillaume Marceau Kathi Fisler Add to Reading List Source URL: gmarceau.qc.ca Language: English - Date: 2011-06-03 13:00:17 Lisp programming language Functional languages Procedural programming languages Data types Type theory Programming language Lisp DrRacket C Software engineering Computing Computer programming
379	Unifying Execution of Imperative and Declarative Code Aleksandar Milicevic, Derek Rayside, Kuat Yessenov, Daniel Jackson Computer Science and Artificial Intelligence Laboratory Massachusetts Institute of Technology {ale Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2012-02-19 15:58:07 Fourier analysis Laplace transform Transforms ALGOL 68 Four-square cipher Obfuscated code Mathematical analysis Integral transforms Programming language theory
380	Package ‘rtape’ February 20, 2015 Maintainer Miron B. Kursa <> License GPL-2 Title Manage and manipulate large collections of R objects stored as tape-like files Add to Reading List Source URL: cran.r-project.org Language: English - Date: 2015-02-19 19:18:43 Computer programming Programming language theory MAD Callback Computing

UPDATE